S ep 1 99 4 OTTER EXPERIMENTS IN A SYSTEM OF COMBINATORY LOGIC ∗

Evolving Combinators

One of the many abilities that distinguish a mathematician from an automated deduction system is to be able to ooer appropriate expressions based on intuition and experience that are substituted for existentially quantiied variables so as to simplify the problem at hand substantially. We propose to simulate this ability with a technique called genetic programming for use in automated deduction....

Are there Hilbert-style Pure Type Systems?

For many a natural deduction style logic there is a Hilbert-style logic that is equivalent to it in that it has the same theorems (i.e. valid judgements Γ⊢P where Γ = ∅). For intuitionistic implicational logic, the axioms of the equivalent Hilbert-style logic can be propositions which are also known as the types of the combinators I, K and S. Natural deduction versions of illative combinatory l...

Type-2 Fuzzy Logic Approach To Increase The Accuracy Of Software Development Effort Estimation

predicting the effort of a successful project has been a major problem for software engineers the significance of which has led to extensive investigation in this area. One of the main objectives of software engineering society is the development of useful models to predict the costs of software product development. The absence of these activities before starting the project will lead to variou...

The Legacy of a Great Researcher

This article presents examples of the monumental contributions of Bill McCune to mathematics, logic, computer science, and especially automated reasoning. The examples are presented in the form of short stories and recollections of the author during his long association with Bill. In addition to Bill’s accomplishments as a researcher, the author provides personal memories giving glimpses into B...

ar X iv : h ep - p h / 95 09 21 5 v 1 4 S ep 1 99 5 PM / 95 - 31 June 1995 Residual New Physics Effects in e +